PETRI NET WORKFLOW MODELING FOR DIGITAL PUBLISHING MEASURING QUANTITATIVE DEPENDABILITY ATTRIBUTES By

of Thesis Presented to the Graduate School of the University of Puerto Rico in Partial Fulfillment of the Requirements for the Degree of Master of Science PETRI NET WORKFLOW MODELING FOR DIGITAL PUBLISHING MEASURING QUANTITATIVE DEPENDABILITY ATTRIBUTES By Gustavo Adolfo Chaparro-Baquero July 2006 Chair: Nayda G. Santiago, Ph.D Major Department: Electrical and Computer Engineering This work describes the concept of workflow modeling using Generalized Stochastic Petri Nets (GSPN) for the Digital Publishing business process and how the attributes of dependability are measured in a quantitative form. In our novel approach, these are measured from the workflow model itself, improving the analysis of a workflow model. Applying these measure concepts to the general Digital Publishing pre-press process provides a better workflow management in this area than the actual procedure, since this process is based on its trustworthiness. Once the methodology for workflow modeling measuring quantitative dependability attributes is introduced, the results for a case study on the preflight stage and for the ripping stage of the Digital Publishing workflow are presented.